\documentclass{beamer}
\usepackage[T2A]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[english,russian]{babel}
\usepackage{xcolor}           		% задаем цвета
\usepackage{cite,enumerate,float,indentfirst}
\usepackage{amssymb,amsfonts,amsmath,mathtext}
\usepackage{graphicx}
\usepackage{epsfig,float}     		% вставлять рисунки
\usepackage{psfrag}           		% редактировать надписи на рисунках
\graphicspath{{images/}} %путь к рисункам

% Стилевой файл
\usetheme{CambridgeUS}
%\usecolortheme{beaver}
\usecolortheme{whale}
% Название
\title[Исследование систем типизированного $\lambda$-исчисления]{{\huge Реализация и исследование систем типизированного $\lambda$-исчисления 
с контролем изменений наиболее общего типа}}
\author{Курьян К.П.}
\institute{Санкт-Петербургский Академический университет РАН}
\date{}

\begin{document}

%%титульная страница
\section{Дополнительные слайды}
\subsection{Просто типизированное $\lambda$ исчисление}
\begin{frame}
  \begin{block}{Просто типизированное $\lambda$ исчисление}
  {\color{blue}Def. }Просто типизированное $\lambda$ исчисление( $\lambda$\to):\\
  Множество типов T системы $\lambda$ определяется след образом: \\
  Переменные типа : \alpha, \beta ... \in T \\
  Типы пространства функций : \delta, \tau \in T => (\delta \to \tau) \in T \\
  В абстрактном синтаксисе: \\
  T ::= V | T\to T	  
  \end{block}
\end{frame}

\end{document}

